Congestion Externalities And City Size